///|
pub fn make_t() -> @lib1.T {
  @lib1.T(42)
}
